$\forall$$r$,$s$:rationals. qeq($r$; $s$) $\in$ $\mathbb{B}$